Unconscionable Contracts under the Uniform Commercial Code

Book Review: Secured Transactions Under the Uniform Commercial Code

Abstract Rights versus Paper Rights under Article 9 of the Uniform Commercial Code

Rights versus Paper Rights under Article 9 of the Uniform Commercial Code Robert C. Clark Yale Law School Follow this and additional works at: http://digitalcommons.law.yale.edu/fss_papers Part of the Commercial Law Commons, and the Legal Writing and Research Commons This Article is brought to you for free and open access by the Yale Law School Faculty Scholarship at Yale Law School Legal Schol...

The Uniform Commercial Code: A Reply to Professor Beutel

Uniform Commercial Code – Sales: Should it be Enacted?

On Verifying Resource Contracts using Code Contracts

In this paper we present an approach to check resource consumption contracts using an off-theshelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints. Since dynamic memory may be recycled by a memory manager, the consumption of this resource is not monotone. The specification language can express both ...